A Framework for Mutant Genetic Generation for WS-BPEL
نویسندگان
چکیده
One of the latest trends is marked by the emergence of so-called web services (WS). These allow rapid application development, characterized by a low cost and an easy distributed application composing. The OASIS WS-BPEL 2.0 standard is an XML-based language which allows to specify the behavior of a business process as a WS which interacts with other external WS. WS-BPEL is a challenge for traditional white-box testing techniques because it includes WS-specific instructions not common in other languages. Definition Mutation testing is a white box testing technique that introduces simple flaws in the original program. The flaws are introduced applying mutation operators.
منابع مشابه
An Access-Control Framework for WS-BPEL
abstraCt Business processes, the next-generation workflows, have attracted considerable research interest in the last 15 years. More recently, several XML-based languages have been proposed for specifying and orchestrating business processes, resulting in the WS-BPEL language. Even if WS-BPEL has been developed to specify automated business processes that orchestrate activities of multiple Web ...
متن کاملA Model-Driven Approach to Implementing Coordination Protocols in BPEL
WS-Coordination defines a framework for establishing protocols for coordinating the outcome agreement within distributed applications. The framework is extensible and allows support for multiple coordination protocols. To facilitate the realization of new coordination protocols we present a model-driven approach for the generation of BPEL processes used as implementation of coordination protoco...
متن کاملAn Architecture for Dynamic Invariant Generation in WS-BPEL web Service Compositions
Web services related technologies (especially web services compositions) play now a key role in e-Business and its future. Languages to compose web services, such as the OASIS WS-BPEL 2.0 standard, open a vast new field for programming in the large. But they also present a challenge for traditional white-box testing, due to the inclusion of specific instructions for concurrency, fault compensat...
متن کاملAnalyzing interacting WS-BPEL processes using flexible model generation
We address the problem of analyzing the interaction between WS-BPEL processes. We present a technology chain that starts out with a WS-BPEL process and translates it into a Petri net model. On the model we decide controllability of the process (the existence of a partner process, such that both can interact properly) and compute its operating guideline (a characterization of all properly intera...
متن کاملImplementing Workflow Reconfiguration in WS-BPEL
This paper investigates the problem of dynamic reconfiguration by means of a workflow-based case study used for discussion. We state the requirements on a system implementing the workflow and its reconfiguration, and we describe the system’s design in BPMN. WS-BPEL, a language that would not naturally support dynamic change, is used as a target for implementation. The WS-BPEL recovery framework...
متن کامل